The need for integration of ontologies with nonmonotonic rules has beengaining importance in a number of areas, such as the Semantic Web. A number ofresearchers addressed this problem by proposing a unified semantics for hybridknowledge bases composed of both an ontology (expressed in a fragment offirst-order logic) and nonmonotonic rules. These semantics have matured overthe years, but only provide solutions for the static case when knowledge doesnot need to evolve. In this paper we take a first step towards addressing thedynamics of hybrid knowledge bases. We focus on knowledge updates and,considering the state of the art of belief update, ontology update and ruleupdate, we show that current solutions are only partial and difficult tocombine. Then we extend the existing work on ABox updates with rules, provide asemantics for such evolving hybrid knowledge bases and study its basicproperties. To the best of our knowledge, this is the first time that an updateoperator is proposed for hybrid knowledge bases.
展开▼
